-
1 условная импликация
условная импликация
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > условная импликация
-
2 условная импликация
Русско-английский большой базовый словарь > условная импликация
-
3 условная импликация
Information technology: conditional implicationУниверсальный русско-английский словарь > условная импликация
-
4 условная импликация
Русско-английский словарь по вычислительной технике и программированию > условная импликация
-
5 условная импликация
Русско-английский научно-технический словарь Масловского > условная импликация
-
6 импликация
-
7 импликация
Русско-английский словарь по информационным технологиям > импликация
-
8 импликация
ж. implication -
9 импликация
-
10 условная зависимость
условная зависимость
импликация
условное выражение
условный
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
Синонимы
EN
Русско-английский словарь нормативно-технической терминологии > условная зависимость
-
11 двусторонняя импликация
1. biconditional2. biconditional implicationРусско-английский большой базовый словарь > двусторонняя импликация
-
12 строгая импликация
Русско-английский большой базовый словарь > строгая импликация
-
13 формальная импликация
Русско-английский большой базовый словарь > формальная импликация
-
14 строгая импликация
-
15 условный
1. conventional2. conventionally3. conditionally4. conditional
См. также в других словарях:
условная импликация — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN conditional implication … Справочник технического переводчика
Импликация — Импликация (лат. implicatio связь) бинарная логическая связка, по своему применению приближенная к союзам «если… то…». Импликация записывается как посылка следствие; применяются также стрелки другой формы и направленные в другую… … Википедия
условная зависимость — импликация условное выражение условный — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы импликацияусловное выражениеусловный EN conditional … Справочник технического переводчика
МЕГАРСКАЯ ШКОЛА, мегарики — МЕГАРСКАЯ ШКОЛА, мегарики (οἱ Μεγαρικοί) (4 нач. 3 в. до н. э.), одна из сократических школ; основана Евклидом из Мегары. Принято выделять три этапа существования Мегарской школы, на основании свидетельства Диогена Лаэртия о том, что… … Античная философия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
Парадокс импликации — Парадоксы импликации это парадоксы, возникающие в связи с содержанием условных утверждений классической логики. Главная функция этих утверждений обоснование одних утверждений ссылкой на другие. Содержание 1 Смысл импликации … Википедия
Логика — Гр … Википедия
Логик — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Логическое мышление — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Логичность — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия